es{-}state{-}without(${\it es}$;$i$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$y$:Id$\rightarrow$if $y$ = $x$$\rightarrow$ Top else es{-}vartype(${\it es}$; $i$; $y$) fi